Formalizing a Domain Specific Language Using SOS: An Industrial Case Study
نویسندگان
چکیده
This paper describes the process of formalizing an existing, industrial domain specific language (dsl) that is based on the taskresource paradigm. Initially, the semantics of this dsl is defined informally and implicitly through an interpreter. The formalization starts by projecting the existing concrete syntax onto a formal abstract syntax that defines the language operators and process terms. Next, we define the dynamic operational semantics at the level of individual syntactical notions, using structural operational semantics (sos) as a formal metalanguage. Here, the impact of the formalization process on the dsl is considered in terms of disambiguation of underlying (semantic) language design decisions.
منابع مشابه
Formalizing and Operationalizing Industrial Standards
Industrial standards establish technical criteria for various engineering artifacts, materials, or services, with a view to ensuring their functionality, safety, and reliability. We develop a methodology and tools to systematically formalize such standards, in particular their domain specific calculation methods, in order to support the automatic verification of functional properties for concre...
متن کاملEmbedding Domain-specific Languages in General-purpose Programming Languages
In recent years, domain-specific languages have been proposed for modelling applications on a high level of abstraction. Although the usage of domain-specific languages offers clear advantages, their design is a highly complex task. Moreover, developing a compiler or interpreter for these languages that can fulfil the requirements of industrial application is hard. Existing tools for the genera...
متن کاملA DSL-based approach for event-based monitoring of systems of systems
Complex Coftware-intenCive CyCtemC Cuch aC CyCtemC of CyCtemC (SoS) need to be monitored at runtime to detect deviationC from their requirementC. In our earlier work [Vi15a] – Cummarized in thiC paper – we deCcribed our experienceC of developing and applying an SoS monitoring approach baCed on a Domain-Cpecific Language (DSL) in the domain of induCtrial automation Coftware. More Cpecifically, w...
متن کاملAn Application of SMC to continuous validation of heterogeneous systems
This paper considers the rigorous design of Systems of Systems (SoS), i.e. systems composed of a set of heterogeneous components whose number evolves with time. Such components cooperate to accomplish functions that they could not achieve in isolation. Examples of SoS include smart cities or airport management system. The dynamical evolution of SoS behavior and architecture makes it impossible ...
متن کاملIntegrating Informal and Formal Approaches to Requirements Modeling and Analysis
The Unified Modeling Language (UML) comprises several different notations for object-oriented modeling with no formal semantics attached to the individual diagrams. We have developed a generic framework for formalizing a subset of UML diagrams in terms of various formal languages, with a focus on embedded systems. We have formalized UML in terms of Promela, thus enabling analysis of the UML dia...
متن کامل